Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- Conditionals and the Algebra of Logic, justo después de los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde…32 kB (5266 palabras) - 21:56 6 abr 2024
- Journal Symbolic Logic 3: 150-155. Kripke, S.A. (1975) "Outline of a theory of truth"; Journal of Philosophy 72: 690-716. Łukasiewicz, J. (1920) "O logice trojwartosciowej";…5 kB (689 palabras) - 00:05 2 dic 2023
- modal logic," Journal of Philosophical Logic 14: 351-358. 1986, Review of Yuri Manin, A Course in Mathematical Logic, Journal of Symbolic Logic 51: 829-830…14 kB (1947 palabras) - 19:11 26 dic 2023
John Corcoran (categoría Lógicos de Estados Unidos)Completeness of an Ancient Logic. Journal of Symbolic Logic 37: 1972. 696–702. Gaps Between Logical Theory and Mathematical practice. En Bunge M., Ed.…17 kB (2245 palabras) - 16:25 8 ene 2024
pp.». Bulletin of Symbolic Logic (en inglés) 9 (1): 39-42. ISSN 1079-8986. doi:10.1017/S107989860000473X. Liddell, Henry George, and Robert Scott. 1940…38 kB (8727 palabras) - 16:20 1 may 2024
Leon Henkin (categoría Lógicos de Estados Unidos)The Journal of Symbolic Logic, 18(3), 201-208. Henkin, L. (1953). Some interconnections between modern algebra and mathematical logic. Transactions of…71 kB (10 199 palabras) - 17:04 27 dic 2023
Cohen," Journal of Symbolic Logic 19: 133. Hartley Rogers, Jr., 1963, "An Example in Mathematical Logic," The American Mathematical Monthly 70: 929–45…9 kB (1109 palabras) - 08:45 21 dic 2023- of Symbolic Logic, 1, 40-41. 1937a. Review of Turing 1936. Journal of Symbolic Logic, 2, 42-43. 1937b. Review of Post 1936. Journal of Symbolic Logic, 2…9 kB (1270 palabras) - 20:08 30 ene 2024
Hugh MacColl (categoría Lógicos)Correspondence, British Library Symbolic Logic and Its Applications, 1906. Longmans, Green Rahman, S. & Redmond, J., 2008. "Hugh MacColl and the Birth of Logical…5 kB (670 palabras) - 18:52 26 dic 2023- Epistemological Challenges to Mathematical Platonism, Philosophical Studies 129(3): 2006, 545-574. Burgess on Plural Logic and Set Theory, Philosophia Mathematica…4 kB (424 palabras) - 19:26 7 dic 2022
American Mathematical Society, volume 50, pages 284–316. E. Post, 1947. "Recursive unsolvability of a problem of Thue." Journal of Symbolic Logic v. 12,…30 kB (4148 palabras) - 00:23 28 ene 2024- Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados (categoría Lógica matemática)problems and Computable Functions"». The Journal of Symbolic Logic 31 (3): 484-494. Church, Alonzo (1972). «Review of "A Source Book in Mathematical Logic 1879–1931"»…13 kB (1490 palabras) - 08:33 13 ene 2024
- Throwing darts at the real number line». Journal of Symbolic Logic (Association for Symbolic Logic) 51 (1): 190-200. JSTOR 2273955. doi:10.2307/2273955…18 kB (2046 palabras) - 06:39 29 abr 2024
Theory», Bulletin of Symbolic Logic (en alemán) 15: 43-69, doi:10.2178/bsl/1231081769 .. Kneebone, Geoffrey, 1963. Mathematical Logic and the Foundation of…8 kB (968 palabras) - 00:19 30 sep 2023
(2008). «A natural axiomatization of computability and proof of Church's Thesis». Bulletin of Symbolic Logic 14 (3): 299-350. ISSN 1079-8986. Kelley, Dean…41 kB (4663 palabras) - 16:55 17 abr 2024- Ebbinghaus, Heinz-Dieter (Jun 2000). «Zermelo and the Skolem Paradox». The Bulletin of Symbolic Logic 6 (2): 145-161. JSTOR 421203. S2CID 8530810. doi:10…18 kB (2460 palabras) - 16:23 11 mar 2024
John Venn (categoría Lógicos de Inglaterra)trabajo incluye: «Consistency and Real Inference». Mind 1 (1). enero de 1876. Symbolic Logic. Londres: Macmillan and Company. 1881. ISBN 1-4212-6044-1…11 kB (1077 palabras) - 23:37 10 feb 2024- bibliography of symbolic logic". Journal of Symbolic Logic 1: 121-218; 3:178-212. Dov Gabbay and John Woods, eds, 2004. Handbook of the History of Logic. Vol. 1:…42 kB (5433 palabras) - 21:04 15 mar 2024
Ernst Schröder (categoría Lógicos)The Search for Mathematical Roots 1870-1940. Princeton University Press. Clarence Irving Lewis, 1960 (1918). A Survey of Symbolic Logic. Dover. Peckhaus…8 kB (1113 palabras) - 17:35 27 dic 2023
William Hugh Woodin (categoría Lógicos de Estados Unidos)es editor en jefe del Journal of Mathematical Logic. En 2000 fue elegido miembro de la American Academy of Arts and Sciences.[1] Además, es bisnieto…4 kB (446 palabras) - 06:34 1 feb 2024
- (c1882). Logarithmic and other mathematical tables with examples of their use and hints on the art of computation. New York: Henry Holt and Company. https://archive